Scaling up an end-user dependability framework for spreadsheets

The WYSIWYT (What You See is What You Test) methodology applies formal analysis and testing techniques to the spreadsheet paradigm. So far the methodology has been applied to a research spreadsheet prototype, Forms/3. However, this prototype lacks the mathematical libraries, referential functions, ranges, and macros of commercial spreadsheets like Excel and Lotus 1-2-3. Study subjects are also accustomed to the grid-like interface of commercial spreadsheet packages and many spreadsheets of interest are available in the Excel file format. This project addresses these areas by implementing WYSIWYT in Microsoft Excel and Gnumeric

Scaling up an end-user dependability framework for spreadsheets

The WYSIWYT (What You See is What You Test) methodology applies formal analysis and testing techniques to the spreadsheet paradigm. So far the methodology has been applied to a research spreadsheet prototype, Forms/3. However, this prototype lacks the mathematical libraries, referential functions, ranges, and macros of commercial spreadsheets like Excel and Lotus 1-2-3. Study subjects are also accustomed to the grid-like interface of commercial spreadsheet packages and many spreadsheets of interest are available in the Excel file format. This project addresses these areas by implementing WYSIWYT in Microsoft Excel and Gnumeric

Scaling a Dataflow Testing Methodology to the Multiparadigm World of Commercial Spreadsheets

Spreadsheet languages are widely used by end users to perform a broad range of important tasks. Evidence shows, however, that spreadsheets often contain faults. Thus, in prior work we presented a dataflow testing methodology for use with spreadsheets, that provides feedback about the coverage of cells in spreadsheets via visual devices. Studies have shown that this methodology, which we call WYSIWYT (What You See Is What You Test), can be used cost-effectively by end-user programmers. To date, however, the methodology has been investigated across a limited set of spreadsheet language features. Commercial spreadsheet environments are multiparadigm languages, utilizing features often associated with dataflow, functional, imperative, and database query languages, and these features are not accommodated by prior approaches. In addition, most spreadsheets contain large numbers of replicated formulas that differ only in the cells they reference, and these severely limit the efficiency of dataflow testing approaches. We show how to handle these two aspects of commercial spreadsheet environments through a new dataflow adequacy criteria and automated detection of areas of replicated formulas. We report results of a controlled experiment investigating several factors important to the feasibility of our approach

Mapování historických objektů malých pivovarů v příhraničním regionu

Historical breweries were a very important part the of propeties of the most powerful houses and served as one of the main financial sources. This thesis processes historical facts from the Middle Ages to present, the data is related to individual breweries in villages and cities in the area of Českokrumlovsko. It is focused on basic and general information concerning the year of establishment, basic historical charakteristics, year production and the end of breweries activity. It also presents the point map of the individual breweries divided by the owners and it shows an overview chart with the most significant data